Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... 9636 (Lecture Notes in Computer Science)
by Marsha Chechik,Jean-François Raskin
ISBN 13: 9783662496732
Format: Paperback (984 pages) Publisher: Springer Published: 06 May 2016
Save for later